$\forall$$A$:Realizer, $i$, $x$:Id, $T$:Type, $v$:($T$ + ($\mathbb{Q}\rightarrow$$T$)).
\\[0ex]R{-}Feasible($A$) $\Rightarrow$ ($\neg$($\uparrow$$x$ $\in$ dom(R{-}state($A$;$i$)))) $\Rightarrow$ Rinit($i$;$T$;$x$;$v$) $\parallel$ $A$